http://identifiers.org/mgd/MGI:3512409 Null/knockout TrxR2<-> Txnrd2<tm1.1Marc> MGI:3512409 targeted mutation 1.1, Marcus Conrad